Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
161	Feedback Generation for Performance Problems in Introductory Programming Assignments ∗ Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-08-18 13:49:14 Procedural programming languages Data types Functional languages ALGOL 68 String Scheme ATS Permutation Software engineering Programming language theory Computing
162	(Provisional Translation) (Revised on April 1, 2015) Principal Terms and Conditions for JGB Market Special Participants Scheme Section 1 Purpose Add to Reading List Source URL: www.mof.go.jp Language: English - Date: 2015-04-01 03:00:33 Economics Business models Auction Bond Futures contract United States Treasury security Bidding Business Auctioneering Auction theory
163	TECHNOLOGY SCHEME OF WORK Add to Reading List Source URL: www.renewableworld.org.uk Language: English - Date: 2014-02-26 09:17:31 Knowledge Research Low-carbon economy Learning theory Attention-deficit hyperactivity disorder E-learning Learning styles Renewable energy Participatory action research Education Learning Educational psychology
164	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
165	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:31 Mathematics Theory of computation Turing machine Models of computation Structure and Interpretation of Computer Programs Scheme Busy beaver Computability Alan Turing Computability theory Theoretical computer science Computer science
166	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
167	Screen-Replay: A Session Recording and Analysis Tool for DrScheme M. Fatih K¨oksal, R. Emre Bas¸ar ¨ udarlı Suzan Usk¨ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:22 Programming language theory Computer science education Java programming language ProgramByDesign The Structure and Interpretation of the Computer Science Curriculum How to Design Programs ALGOL 68 Computing Scheme programming language Software engineering
168	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Formal methods Theoretical computer science Type theory Variables Closure Free variables and bound variables Constant folding Combinatory logic Software engineering Mathematics Computing
169	The Swine Before Perl Shriram Krishnamurthi Brown University and PLT Why We’re Here Any sufficiently complicated C or Fortran Add to Reading List Source URL: ll1.ai.mit.edu Language: English - Date: 2001-11-20 10:43:08 Functional languages Racket Shriram Krishnamurthi Scheme Fortran Lisp Teach Yourself Scheme in Fixnum Days Computer programming Computing Software engineering Programming language theory
170	Algebraic Cryptanalysis of a Quantum Money Scheme The Noise-Free Case Marta Conde Pena1 Jean-Charles Faug`ere2,3,4 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-30 10:53:08 PP Cryptanalysis Quantum information science PH Theoretical computer science Applied mathematics Quantum complexity theory

UPDATE